"Feferman S." скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)

W. Buchholz, S. Feferman, W. Pohlers, W. Sieg

Категория: Образование

11.87 Mb

#2

Kurt Goedel: Essays for his Centennial

Feferman S., Parsons C., Simpson S.G. (eds.)

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.48 Mb

#3

Reports of the Midwest Category Seminar III

S. MacLane (Editor), M. Barr, P. Berthiaume, B. J. Day, J. Duskin, S. Feferman, G. M. Kelly, M. Tierney, R. F. C. Walters

6.45 Mb

#4

Kurt Gödel: Essays for his Centennial (Lecture Notes in Logic, Volume 33)

Solomon Feferman, Charles Parsons, Stephen G. Simpson (eds)

1.96 Mb

#5

Are There Absolutely Unsolvable Problems - Godel's Dichotomy

Feferman Solomon

Категория: fiction

113 Kb

#6

Feferman S. Chislovye sistemy (ru)(T)(449s).djvu

5.70 Mb

#7

Feferman S. Chislovye sistemy (ru)(449s).djvu

4.31 Mb

#8

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

W. Buchholz, S. Feferman, W. Pohlers, W. Sieg

2.62 Mb

#9

Collected works. Publications 1929-1936

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort

Категория: Mathematical logic

4.26 Mb

#10

Collected works. Publications 1938-1974

Kurt Gödel, S. Feferman, John W. Dawson Jr., Stephen C. Kleene, G. Moore, R. Solovay, the late Jean van Heijenoort

Категория: Mathematical logic

3.42 Mb

#11

Iterated Inductive Definitions and Subsystems of Analysis

W. Buchholz, S. Feferman, W. Pohlers, W. Sieg

Категория: Lecture notes

2.47 Mb

#12

1-Consistency and faithful interpretations

Feferman S., Kreisel G., Orey S.

620 Kb

#13

Model-theoretic logics

J. Barwise, S. Feferman, J. Baldwin

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

7.46 Mb

#14

Collected Works: Volume I: Publications 1929-1936

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort

Категория: Математика

26.18 Mb

#15

Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort

13.27 Mb

#16

Collected Works: Volume III: Unpublished essays and lectures (Godel, Kurt//Collected Works)

Kurt Gödel, S. Feferman (Editor-in-Chief), John W. Dawson Jr., Warren Goldfarb, Charles Parsons, R. Solovay

4.74 Mb

#17

Model-Theoretic Logics

J. Barwise, S. Feferman, J. Baldwin

77.17 Mb

#18

In the Light of Logic

Solomon Feferman

Категория: science_books, math

20.89 Mb

#19

Collected Works. - Unpublished essays and lectures

Kurt Gödel, S. Feferman (Editor-in-Chief), John W. Dawson Jr., Warren Goldfarb, Charles Parsons, R. Solovay

Категория: M_Mathematics, MW_Collected works

4.67 Mb